搜索包含 Symposium on Generalized Recursion Theory 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

	Business Modeling and Software Design [electronic resource] : First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers 0 索取号：作者：Shishkov、 Boris.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Intuitionistic Fuzzy Information Aggregation [electronic resource] : Theory and Applications 0 索取号：作者：Xu、 Zeshui.、Cai、 Xiaoqiang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Belief Functions: Theory and Applications [electronic resource] : Proceedings of the 2nd International Conference on Belief Functions, Compi猫gne, France 9-11 May 2012 0 索取号：作者：Denoeux、 Thierry.、Masson、 Marie-H茅l猫ne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Software Engineering and Knowledge Engineering: Theory and Practice [electronic resource] : Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012) 0 索取号：作者：Zhang、 Wei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Linguistic Decision Making [electronic resource] : Theory and Methods 0 索取号：作者：Xu、 Zeshui.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		The Sun: New Challenges [electronic resource] : Proceedings of Symposium 3 of JENAM 2011 0 索取号：作者：Obridko、 Vladimir N.、Georgieva、 Katya.、Nagovitsyn、 Yury A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	LATIN 2012: Theoretical Informatics [electronic resource] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings 0 索取号：作者：Fern谩ndez-Baca、 David.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Web and Wireless Geographical Information Systems [electronic resource] : 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings 0 索取号：作者：Martino、 Sergio.、Peron、 Adriano.、Tezuka、 Taro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	On Intuitionistic Fuzzy Sets Theory [electronic resource] 0 索取号：作者：Atanassov、 Krassimir T.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Advances in Cryptology-EUROCRYPT 2012 [electronic resource] : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings 0 索取号：作者：Pointcheval、 David.、Johansson、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	UK Colloids 2011 [electronic resource] : An International Colloid and Surface Science Symposium 0 索取号：作者：Starov、 Victor.、Griffiths、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Theory of Cryptography [electronic resource] : 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings 0 索取号：作者：Cramer、 Ronald.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings 0 索取号：作者：Goodloe、 Alwyn E.、Person、 Suzette.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 0 索取号：作者：Lara、 Juan.、Zisman、 Andrea.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 0 索取号：作者：Seidl、 Helmut.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Ambient Intelligence - Software and Applications [electronic resource] : 3rd International Symposium on Ambient Intelligence (ISAmI 2012) 0 索取号：作者：Novais、 Paulo.、Hallenborg、 Kasper.、Tapia、 Dante I.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

	Business Modeling and Software Design [electronic resource] : First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers 0 索取号：作者：Shishkov、 Boris.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Intuitionistic Fuzzy Information Aggregation [electronic resource] : Theory and Applications 0 索取号：作者：Xu、 Zeshui.、Cai、 Xiaoqiang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Belief Functions: Theory and Applications [electronic resource] : Proceedings of the 2nd International Conference on Belief Functions, Compi猫gne, France 9-11 May 2012 0 索取号：作者：Denoeux、 Thierry.、Masson、 Marie-H茅l猫ne.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Software Engineering and Knowledge Engineering: Theory and Practice [electronic resource] : Selected papers from 2012 International Conference on Software Engineering, Knowledge Engineering and Information Engineering (SEKEIE 2012) 0 索取号：作者：Zhang、 Wei.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	Linguistic Decision Making [electronic resource] : Theory and Methods 0 索取号：作者：Xu、 Zeshui.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		The Sun: New Challenges [electronic resource] : Proceedings of Symposium 3 of JENAM 2011 0 索取号：作者：Obridko、 Vladimir N.、Georgieva、 Katya.、Nagovitsyn、 Yury A.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
	LATIN 2012: Theoretical Informatics [electronic resource] : 10th Latin American Symposium, Arequipa, Peru, April 16-20, 2012. Proceedings 0 索取号：作者：Fern谩ndez-Baca、 David.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Web and Wireless Geographical Information Systems [electronic resource] : 11th International Symposium, W2GIS 2012, Naples, Italy, April 12-13, 2012. Proceedings 0 索取号：作者：Martino、 Sergio.、Peron、 Adriano.、Tezuka、 Taro.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	On Intuitionistic Fuzzy Sets Theory [electronic resource] 0 索取号：作者：Atanassov、 Krassimir T.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Advances in Cryptology-EUROCRYPT 2012 [electronic resource] : 31st Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cambridge, UK, April 15-19, 2012. Proceedings 0 索取号：作者：Pointcheval、 David.、Johansson、 Thomas.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	UK Colloids 2011 [electronic resource] : An International Colloid and Surface Science Symposium 0 索取号：作者：Starov、 Victor.、Griffiths、 Peter.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.		Theory of Cryptography [electronic resource] : 9th Theory of Cryptography Conference, TCC 2012, Taormina, Sicily, Italy, March 19-21, 2012. Proceedings 0 索取号：作者：Cramer、 Ronald.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	NASA Formal Methods [electronic resource] : 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings 0 索取号：作者：Goodloe、 Alwyn E.、Person、 Suzette.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Fundamental Approaches to Software Engineering [electronic resource] : 15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 0 索取号：作者：Lara、 Juan.、Zisman、 Andrea.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Programming Languages and Systems [electronic resource] : 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings 0 索取号：作者：Seidl、 Helmut.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.		Ambient Intelligence - Software and Applications [electronic resource] : 3rd International Symposium on Ambient Intelligence (ISAmI 2012) 0 索取号：作者：Novais、 Paulo.、Hallenborg、 Kasper.、Tapia、 Dante I.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.